S Narboux: search on Z-Library

The world's largest scientific articles store. 70,000,000+ articles for free.

Don't use scam websites

1

[Nordic Wittgenstein Studies] Finding One’s Way Through Wittgenstein’s Philosophical Investigations Volume 2 || Wittgenstein Reads Augustine

Bermon, Emmanuel, Narboux, Jean-Philippe

Year:

2017

Language:

english

File:

PDF, 278 KB

english, 2017

2

Conceptual Truth, Necessity, and Negation

Narboux, Jean-Philippe

Journal:

Year:

2020

File:

PDF, 167 KB

2020

3

Speaking of Oneself and Speaking of One's Self

Narboux, Jean‐Philippe

Journal:

European Journal of Philosophy

Year:

2019

Language:

english

File:

PDF, 271 KB

english, 2019

4

Proof-checking Euclid

Beeson, Michael, Narboux, Julien, Wiedijk, Freek

Journal:

Annals of Mathematics and Artificial Intelligence

Year:

2019

Language:

english

File:

PDF, 3.63 MB

english, 2019

5

A Synthetic Proof of Pappus’ Theorem in Tarski’s Geometry

Braun, Gabriel, Narboux, Julien

Journal:

Journal of Automated Reasoning

Year:

2017

Language:

english

File:

PDF, 1.03 MB

english, 2017

6

cAMP oscillations and retinal activity are permissive for ephrin signaling during the establishment of the retinotopic map

Nicol, Xavier, Voyatzis, Sylvie, Muzerelle, Aude, Narboux-Nême, Nicolas, Südhof, Thomas C, Miles, Richard, Gaspar, Patricia

Journal:

Nature Neuroscience

Year:

2007

Language:

english

File:

PDF, 577 KB

english, 2007

7

A case study in formalizing projective geometry in Coq: Desargues theorem

Nicolas Magaud, Julien Narboux, Pascal Schreck

Journal:

Computational Geometry

Year:

2012

Language:

english

File:

PDF, 275 KB

english, 2012

8

Automated generation of machine verifiable and readable proofs: A case study of Tarski’s geometry

Ðurđević, Sana Stojanović, Narboux, Julien, Janičić, Predrag

Journal:

Annals of Mathematics and Artificial Intelligence

Year:

2015

Language:

english

File:

PDF, 802 KB

english, 2015

9

Developmental genetic bases behind the independent origin of the tympanic membrane in mammals and diapsids

Kitazawa, Taro, Takechi, Masaki, Hirasawa, Tatsuya, Adachi, Noritaka, Narboux-Nême, Nicolas, Kume, Hideaki, Maeda, Kazuhiro, Hirai, Tamami, Miyagawa-Tomita, Sachiko, Kurihara, Yukiko, Hitomi, Jiro, Le

Journal:

Nature Communications

Year:

2015

Language:

english

File:

PDF, 1.36 MB

english, 2015

10

WITTGENSTEIN ET L'ART || Épilogue à propos de Scruton : l'entendre-comme

JEAN-PHILIPPE NARBOUX

Journal:

Year:

2003

File:

PDF, 427 KB

2003

11

Introduction

Narboux, Jean-Philippe

Journal:

International Journal for the Study of Skepticism

Year:

2014

Language:

english

File:

PDF, 619 KB

english, 2014

12

WITTGENSTEIN ET L'ART || Wittgenstein et la compréhension musicale

ROGER SCRUTON and Jean-Philippe Narboux

Journal:

Year:

2003

File:

PDF, 1.23 MB

2003

13

Wittgenstein et les sciences || L'exemplarité de la preuve mathématique selon Wittgenstein

Jean-Philippe Narboux

Journal:

Revue de métaphysique et de morale

Year:

2005

File:

PDF, 1.14 MB

2005

14

Probing the origin of matching functional jaws: roles of Dlx5/6 in cranial neural crest cells

Shimizu, Miki, Narboux-Nême, Nicolas, Gitton, Yorick, de Lombares, Camille, Fontaine, Anastasia, Alfama, Gladys, Kitazawa, Taro, Kawamura, Yumiko, Heude, Eglantine, Marshall, Lindsey, Higashiyama, Hir

Journal:

Scientific Reports

Year:

2018

Language:

english

File:

PDF, 3.92 MB

english, 2018

15

Genetic Models of Serotonin (5-HT) Depletion: What do They Tell Us About the Developmental Role of 5-HT?

Sara Trowbridge, Nicolas Narboux-Nême, Patricia Gaspar

Journal:

The Anatomical Record Advances in Integrative Anatomy and Evolutionary Biology

Year:

2011

Language:

english

File:

PDF, 182 KB

english, 2011

16

A Graphical User Interface for Formal Proofs in Geometry

Journal:

Journal of Automated Reasoning

Year:

2007

Language:

english

File:

PDF, 896 KB

english, 2007

17

Formalising in Nominal Isabelle Crary's Completeness Proof for Equivalence Checking

Julien Narboux, Christian Urban

Journal:

Electronic Notes in Theoretical Computer Science

Year:

2008

Language:

english

File:

PDF, 292 KB

english, 2008

18

Formal SOS-Proofs for the Lambda-Calculus

Christian Urban, Julien Narboux

Journal:

Electronic Notes in Theoretical Computer Science

Year:

2009

Language:

english

File:

PDF, 292 KB

english, 2009

19

Multiple origins of Cajal-Retzius cells at the borders of the developing pallium

Bielle, Franck, Griveau, Amélie, Narboux-Nême, Nicolas, Vigneau, Sébastien, Sigrist, Markus, Arber, Silvia, Wassef, Marion, Pierani, Alessandra

Journal:

Nature Neuroscience

Year:

2005

Language:

english

File:

PDF, 1.18 MB

english, 2005

20

The Area Method

Predrag Janičić, Julien Narboux, Pedro Quaresma

Journal:

Journal of Automated Reasoning

Year:

2012

Language:

english

File:

PDF, 804 KB

english, 2012

21

Neurotransmitter Release at the Thalamocortical Synapse Instructs Barrel Formation But Not Axon Patterning in the Somatosensory Cortex

Narboux-Neme, N., Evrard, A., Ferezou, I., Erzurumlu, R. S., Kaeser, P. S., Laine, J., Rossier, J., Ropert, N., Sudhof, T. C., Gaspar, P.

Journal:

Journal of Neuroscience

Year:

2012

Language:

english

File:

PDF, 6.69 MB

english, 2012

22

Serotonin transporter transgenic (SERTcre) mouse line reveals developmental targets of serotonin specific reuptake inhibitors (SSRIs)

Nicolas Narboux-Nême, Luigi Michele Pavone, Luigi Avallone, Xiaoxi Zhuang, Patricia Gaspar

Journal:

Neuropharmacology

Year:

2008

Language:

english

File:

PDF, 1006 KB

english, 2008

23

Qualité du sommeil après la prise d'un café standard contre un café décaféiné chez des sujets «sensibles à la caféineå

O Chassany, JF Bergmann, I Logeart, S Narboux, C Caulin

Journal:

La Revue de Médecine Interne

Year:

1998

Language:

french

File:

PDF, 153 KB

french, 1998

24

S.20.05 Role of 5-HT2B receptor in the neurogenic and behavioural effects induced by antidepressants

S. Diaz, S. Doly, N. Narboux-Nême, S. Fernández, P. Mazot, L. Maroteaux

Journal:

European Neuropsychopharmacology

Year:

2011

Language:

english

File:

PDF, 69 KB

english, 2011

25

5-HT2B receptors are required for serotonin-selective antidepressant actions

Diaz, S L, Doly, S, Narboux-Nême, N, Fernández, S, Mazot, P, Banas, S M, Boutourlinsky, K, Moutkine, I, Belmer, A, Roumier, A, Maroteaux, L

Journal:

Molecular Psychiatry

Year:

2012

Language:

english

File:

PDF, 632 KB

english, 2012

26

Sensory Map Transfer to the Neocortex Relies on Pretarget Ordering of Thalamic Axons

Lokmane, Ludmilla, Proville, Rémi, Narboux-Nême, Nicolas, Györy, Ildiko, Keita, Maryama, Mailhes, Caroline, Léna, Clément, Gaspar, Patricia, Grosschedl, Rudolf, Garel, Sonia

Journal:

Current Biology

Year:

2013

Language:

english

File:

PDF, 1.55 MB

english, 2013

27

Postnatal Growth Defects in Mice with Constitutive Depletion of Central Serotonin

Narboux-Nême, Nicolas, Angenard, Gaelle, Mosienko, Valentina, Klempin, Friederike, Pitychoutis, Pothitos M., Deneris, Evan, Bader, Michael, Giros, Bruno, Alenina, Natalia, Gaspar, Patricia

Journal:

ACS Chemical Neuroscience

Year:

2013

Language:

english

File:

PDF, 1.51 MB

english, 2013

28

Étude de la fréquence des phénotypes RH1 faible et partiel dans la population des donneurs de sang à l’EFS Nord-de-France

Narboux, C., Hennion, M., Peyrard, T., Le Marechal, C., Jamet, D., Dupont, I., Huart, J.-J.

Journal:

Transfusion Clinique et Biologique

Year:

2013

Language:

french

File:

PDF, 65 KB

french, 2013

29

Apport de la technique d’immuno-capture Immucor dans le cadre du dépistage du phénotype Fyx chez les donneurs de sang

Narboux, C., Hennion, M., Huart, J.-J., Peyrard, T.

Journal:

Transfusion Clinique et Biologique

Year:

2013

Language:

french

File:

PDF, 65 KB

french, 2013

30

IRC-083927 is a new tubulin binder that inhibits growth of human tumor cells resistant to standard tubulin-binding agents

Liberatore, A.-M., Coulomb, H., Pons, D., Dutruel, O., Kasprzyk, P. G., Carlson, M., Nelson, A. S., Newman, S. P., Stengel, C., Auvray, P., Hesry, V., Foll, B., Narboux, N., Morlais, D., Le Moing, M.,

Journal:

Molecular Cancer Therapeutics

Year:

2008

Language:

english

File:

PDF, 575 KB

english, 2008

31

Paradoxical increase in survival of newborn neurons in the dentate gyrus of mice with constitutive depletion of serotonin

Diaz, Silvina L., Narboux-Nême, Nicolas, Trowbridge, Sara, Scotto-Lomassese, Sophie, Kleine Borgmann, Felix B., Jessberger, Sebastian, Giros, Bruno, Maroteaux, Luc, Deneris, Evan, Gaspar, Patricia

Journal:

European Journal of Neuroscience

Year:

2013

Language:

english

File:

PDF, 1.68 MB

english, 2013

32

Integration of H-2Z1, a Somatosensory Cortex-Expressed Transgene, Interferes with the Expression of the Satb1 and Tbc1d5 Flanking Genes and Affects the Differentiation of a Subset of Cortical Interneurons

Narboux-Neme, N., Goiame, R., Mattei, M.-G., Cohen-Tannoudji, M., Wassef, M.

Journal:

Journal of Neuroscience

Year:

2012

Language:

english

File:

PDF, 6.39 MB

english, 2012

33

Severe Serotonin Depletion after Conditional Deletion of the Vesicular Monoamine Transporter 2 Gene in Serotonin Neurons: Neural and Behavioral Consequences

Narboux-Nême, Nicolas, Sagné, Corinne, Doly, Stephane, Diaz, Silvina L, Martin, Cédric B P, Angenard, Gaelle, Martres, Marie-Pascale, Giros, Bruno, Hamon, Michel, Lanfumey, Laurence, Gaspar, Patricia,

Journal:

Neuropsychopharmacology

Year:

2011

Language:

english

File:

PDF, 769 KB

english, 2011

34

[ACM Press the 2009 ACM symposium - Honolulu, Hawaii (2009.03.08-2008.03.12)] Proceedings of the 2009 ACM symposium on Applied Computing - SAC '09 - Formalizing Desargues' theorem in Coq using ranks

Magaud, Nicolas, Narboux, Julien, Schreck, Pascal

Year:

2009

Language:

english

File:

PDF, 5.23 MB

english, 2009

35

Dlx5 and Dlx6 control uterine adenogenesis during post-natal maturation: Possible consequences for endometriosis

Bellessort, Brice, Le Cardinal, Marine, Bachelot, Anne, Narboux-Nême, Nicolas, Garagnani, Paolo, Pirazzini, Chiara, Barbieri, Ottavia, Mastracci, Luca, Jonchere, Vincent, Duvernois-Berthet, Evelyne, F

Journal:

Human Molecular Genetics

Year:

2015

Language:

english

File:

PDF, 1.89 MB

english, 2015

36

Distinct effects of Hoxa2 overexpression in cranial neural crest populations reveal that the mammalian hyomandibular-ceratohyal boundary maps within the styloid process

Kitazawa, Taro, Fujisawa, Kou, Narboux-Nême, Nicolas, Arima, Yuichiro, Kawamura, Yumiko, Inoue, Tsuyoshi, Wada, Youichiro, Kohro, Takahide, Aburatani, Hiroyuki, Kodama, Tatsuhiko, Kim, Ki-Sung, Sato,

Journal:

Developmental Biology

Year:

2015

Language:

english

File:

PDF, 4.41 MB

english, 2015

37

Réévaluation de la pertinence de la recherche du phénotype D faible chez les donneurs de sang de phénotype D-C+ et/ou E+ et étude de la nature/fréquence des variants non dépistés en technique de première intention sur automate PK7300

Hennion, M., Adjerad, L., Narboux, C., Vrignaud, C., Huart, J.J., Peyrard, T.

Journal:

Transfusion Clinique et Biologique

Year:

2015

Language:

french

File:

PDF, 262 KB

french, 2015

38

Mice lacking the serotonin 5-HT2B receptor as an animal model of resistance to selective serotonin reuptake inhibitors antidepressants

Diaz, Silvina Laura, Narboux-Nême, Nicolas, Boutourlinsky, Katia, Doly, Stéphane, Maroteaux, Luc

Journal:

European Neuropsychopharmacology

Year:

2015

Language:

english

File:

PDF, 3.10 MB

english, 2015

39

[IEEE 2012 IEEE 24th International Conference on Tools with Artificial Intelligence (ICTAI 2012) - Athens (2012.11.7-2012.11.9)] 2012 IEEE 24th International Conference on Tools with Artificial Intelligence - Geometric Construction Problem Solving in Computer-Aided Learning

Schreck, P., Mathis, P., Narboux, J.

Year:

2012

Language:

english

File:

PDF, 327 KB

english, 2012

40

HERBRAND’S THEOREM AND NON-EUCLIDEAN GEOMETRY

BEESON, MICHAEL, BOUTRY, PIERRE, NARBOUX, JULIEN

Journal:

Bulletin of Symbolic Logic

Year:

2015

Language:

english

File:

PDF, 148 KB

english, 2015

41

Étude des gènes Dlx5/6 dans le développement et la fonction de l’utérus chez la souris

Bellesort, B., Le Cardinal, M., Bachelot, A., Narboux-Nême, N., Fontaine, A., Alfama, G., Levi, G.

Journal:

Annales d'Endocrinologie

Year:

2015

Language:

french

File:

PDF, 56 KB

french, 2015

42

Nouvelle technique de phénotypage étendu dans les systèmes Duffy, Kidd et MNS utilisant des réactifs prêts à l’emploi sur automate à haute cadence PK7300 en qualification biologique des dons

Adjerad, L., Hennion, M., Narboux, C., Fabra, C., Peyrard, T., Huart, J.J.

Journal:

Transfusion Clinique et Biologique

Year:

2015

Language:

french

File:

PDF, 444 KB

french, 2015

43

Malformations des artères pulmonaires. Cardiopathies cyanogènes : aspects IRM

Kastler, Bruno, Clair., Christophe, Delabrousse., E´ric, Sarliève., Philippe, Brunelle., Serge, Manzoni., Philippe, Narboux, Yvan, Bernard, Y, Livolsi, Angélo, Vetter, Dany, Bernard, Yvette

Journal:

EMC - Radiologie et imagerie médicale - Cardiovasculaire - Thoracique - Cervicale

Year:

2006

Language:

french

File:

PDF, 668 KB

french, 2006

44

Towards a Certified Version of the Encyclopedia of Triangle Centers

Narboux, Julien, Braun, David

Journal:

Mathematics in Computer Science

Year:

2016

Language:

english

File:

PDF, 1.82 MB

english, 2016

45

WITTGENSTEIN ET L'ART || Wittgenstein et la compréhension musicale

ROGER SCRUTON and Jean-Philippe Narboux

Journal:

Year:

2003

Language:

french

File:

PDF, 1.23 MB

french, 2003

46

[Progress in Brain Research] Creating coordination in the cerebellum Volume 148 || Regionalization of the isthmic and cerebellar primordia

Narboux-Ne ̂me, Nicolas

Year:

2005

Language:

english

File:

PDF, 306 KB

english, 2005

47

Approche génétique des mécanismes d’exocytose pendant le développement des circuits neuronaux

Gaspar, Patricia, Nicol, Xavier, Narboux-Nême, Nicolas, Rebsam, Alexandra

Journal:

Biologie Aujourd hui

Year:

2015

File:

PDF, 1.75 MB

2015

48

Mise en place d’un dépistage de masse du phénotype rare VEL négatif sur automate de groupe sanguin à haute cadence PK7300 en qualification biologique des dons

Hennion, Michel, Verite, Franck, Narboux, Céline, Adjerad, Louisa, Courbil, Rémi, Fabra, Cécile, Peyrard, Thierry

Journal:

Transfusion Clinique et Biologique

Year:

2017

Language:

french

File:

PDF, 145 KB

french, 2017

49

Identification de nouvelles cibles moléculaires dans l’endométriose

Bellesort, B., Bachelot, A., Grouthier, V., Lombares, C. De Rimonteil De, Neme, N. Narboux, Fontaine, A., Alfama, G., Duvernois, E., Levi, G.

Journal:

Annales d'Endocrinologie

Year:

2017

Language:

french

File:

PDF, 199 KB

french, 2017

50

[Nordic Wittgenstein Studies] Finding One’s Way Through Wittgenstein’s Philosophical Investigations Volume 2 ||

Bermon, Emmanuel, Narboux, Jean-Philippe

Year:

2017

Language:

english

File:

PDF, 2.03 MB

english, 2017

To build up a library is to create a life. It’s never just a random collection of books.

— Carlos María Domínguez

Official channel

Z-Library Desktop Launcher

Z-Library Since 2009 support@z-lib.do

EnglishРусскийEspañolItalianoελληνικάاللغة العربيةBahasa IndonesiaBahasa Malaysiaहिन्दीDeutschFrançaisPortuguêsУкраїнськаPolski中文繁體中文日本語Tiếng ViệtAzərbaycan DiliՀայոց լեզուภาษาไทยTürk Diliქართველიবাংলাپښتوతెలుగుاردو한국어SrpskiБългарски